3

On Representing Concepts in Finite Models

Year:
2001
Language:
english
File:
PDF, 189 KB
english, 2001
4

Arithmetic of divisibility in finite models

Year:
2004
Language:
english
File:
PDF, 110 KB
english, 2004
5

Semantic bounds for everyday language

Year:
2012
Language:
english
File:
PDF, 496 KB
english, 2012
7

Pure Logic with Branched Quantifiers

Year:
1989
Language:
english
File:
PDF, 267 KB
english, 1989
8

Recursive complexity of the Carnap first order modal logic C

Year:
2006
Language:
english
File:
PDF, 134 KB
english, 2006
9

Books received

Year:
1990
Language:
english
File:
PDF, 986 KB
english, 1990
10

Degrees of logics with Henkin quantifiers in poor vocabularies

Year:
2004
Language:
english
File:
PDF, 170 KB
english, 2004
11

Decidability problems in languages with Henkin quantifiers

Year:
1992
Language:
english
File:
PDF, 1.52 MB
english, 1992
13

Computational Semantics for Monadic Quantifiers

Year:
1998
Language:
english
File:
PDF, 864 KB
english, 1998
14

Proof Theoryby Gaisi Takeuti

Year:
1990
Language:
english
File:
PDF, 480 KB
english, 1990